Una Rosa per Joyce / A Rose for Joyce (review)

108-113 Joyce

Family Planning Perspectives Through the mid-1980s, Medicaid eligibility requirements included very low income thresholds established by the individual states. Between 1987 and 1991, eligibility standards for poor and near-poor pregnant women were expanded dramatically. The 1986 Omnibus Budget and Reconciliation Act (OBRA) permitted states to extend eligibility (and receive reimbursement for se...

Joyce the Playwright

Joyce - A Programming Language for Distributed Systems

This paper describes a secure programming language called Joyce based on CSP and Pascal. Joyce permits unbounded (recursive) activation of communicating agents. The agents exchange messages through synchronous channels. A channel can transfer messages of different types between two or more agents. A compiler can check message types and ensure that agents use disjoint sets of variables only. The...

A Multiprocessor Implementation of Joyce

Joyce is a programming language for parallel computers based on CSP and Pas-cal. A Joyce program defines concurrent agents which communicate through unbuffered channels. This paper describes a multiprocessor implementation of Joyce.

Obituary: Paul Joyce (1958-2016).